Gratinated Onions, A Side Dish As Easy As It Is Delicious.